Applications of Event-by-Event Fission Modeling with FREYA

Applications of Event-by-Event Fission Modeling with FREYA

The recently developed code FREYA (Fission Reaction Event Yield Algorithm) generates large samples of complete fission events, consisting of two receding product nuclei as well as a number of neutrons and photons, all with complete kinematic information. Thus it is possible to calculate arbitrary correlation observables whose behavior may provide unique insight into the fission process. We firs...

Fission Reaction Event Yield Algorithm FREYA User Manual

From nuclear materials accountability to detection of special nuclear material, SNM, the need for better modeling of fission has grown over the past decades. Current radiation transport codes compute average quantities with great accuracy and performance, but performance and averaging come at the price of limited interaction-by-interaction modeling. For fission applications, these codes often l...

Modeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism

In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...

Modeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism

In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...

Event-by-event evaluation of the prompt fission neutron spectrum from 239Pu(n, f)